raise :: () -> a